Approximating Integrable Sets by Compacts Constructively
نویسنده
چکیده
In locally compact spaces, (Borel-)measurable sets can be approximated by compact sets. Ulam extended this result to complete separable metric spaces. We give a constructive proof of Ulam’s theorem. It is first proved intuitionistically and then, using a logical ‘trick’ due to Ishihara, a proof acceptable in Bishop-style mathematics is obtained. We feel this proof provides some insight into Ishihara’s trick. Finally, we show how several intuitionistic measure theoretic theorems can be extended to regular integration spaces, that is integration spaces where integrable sets can be approximated by compacts. These results may help to understand Bishop’s choice of definitions.
منابع مشابه
Approximating Integrable Sets by Compacts Constructively
In locally compact spaces, (Borel-)measurable sets can be approximated by compact sets. Ulam extended this result to complete separable metric spaces. We give a constructive proof of Ulam’s theorem. It is first proved intuitionistically and then, using a logical ‘trick’ due to Ishihara, a proof acceptable in Bishop-style mathematics is obtained. We feel this proof provides some insight into Ish...
متن کاملApproximating Integrable Sets by Compacts Constructively
In locally compact spaces, (Borel-)measurable sets can be approximated by compact sets. Ulam extended this result to complete separable metric spaces. We give a constructive proof of Ulam’s theorem. It is first proved intuitionistically and then, using a logical ‘trick’ due to Ishihara, a proof acceptable in Bishop-style mathematics is obtained. We feel this proof provides some insight into Ish...
متن کاملUniform Approximation of Topological Spaces
We sharpen the notion of a quasi-uniform space to spaces which carry with them functional means of approximating points, opens and compacts. Assuming nothing but sobriety, the requirement of uniform approximation ensures that such spaces are compact ordered (in the sense of Nachbin). We study uniformly approximated spaces with the means of topology, uniform topology, order theory and locale the...
متن کاملON CONVERGENCE THEOREMS FOR FUZZY HENSTOCK INTEGRALS
The main purpose of this paper is to establish different types of convergence theorems for fuzzy Henstock integrable functions, introduced by Wu and Gong cite{wu:hiff}. In fact, we have proved fuzzy uniform convergence theorem, convergence theorem for fuzzy uniform Henstock integrable functions and fuzzy monotone convergence theorem. Finally, a necessary and sufficient condition under which th...
متن کاملVector Fields and Nilpotent Lie Algebras
In other words, we want to write the corresponding trajectory t → x(t) in closed form. Of course, since this cannot be done for most differential equations, it is important to find a means of approximating a general flow by a flow which is explicitly integrable in closed form. In this paper we describe an infinite dimensional family of explicitly integrable flows E; in a companion paper [6] we ...
متن کامل